Skip to content

feat(ci): enforce pr titles#12

Merged
ErnestM1234 merged 1 commit intomainfrom
e/ci/enforce-pr-titles
Mar 7, 2026
Merged

feat(ci): enforce pr titles#12
ErnestM1234 merged 1 commit intomainfrom
e/ci/enforce-pr-titles

Conversation

@ErnestM1234
Copy link
Contributor

No description provided.

@ErnestM1234 ErnestM1234 changed the title enforce pr titles feat(ci): enforce pr titles Mar 7, 2026
@ErnestM1234 ErnestM1234 enabled auto-merge March 7, 2026 03:53
Copy link

@pie575 pie575 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

yeah

@ErnestM1234 ErnestM1234 merged commit a41d4ce into main Mar 7, 2026
6 checks passed
@ErnestM1234 ErnestM1234 deleted the e/ci/enforce-pr-titles branch March 7, 2026 04:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants